OperA/ALIVE/OperettA

Comprehensive models for organizations must, on the one hand, be able to specify global goals and requirements but, on the other hand, cannot assume that particular actors will always act according to the needs and expectations of the system design. Concepts as organizational rules (Zambonelli 2002), norms and institutions (Dignum and Dignum 2001; Esteva et al. 2002), and social structures (Parunak and Odell 2002) arise from the idea that the effective engineering of organizations needs high-level, actor-independent concepts and abstractions that explicitly define the organization in which agents live (Zambonelli 2002).Peer ReviewedPostprint (author's final draft

Making smart cities smarter using artificial intelligence techniques for smarter mobility

The term Smart City is tipically applied to urban and metropolitan areas where Information and Communication Technologies provide ways to enable social, cultural and urban development, improving social and political capacities and/or efficiency. In this paper we will show the potential of Artificial Intelligence techniques for augmenting ICT solutions to both increase the cities competiveness but also the active participation of citizens in those processes, making Smart Cities smarter. As example we will describe the usage of Artificial Intellgence techniques to provide Smart Mobility in the context of the SUPERHUB Project

Norm enforcement as supervisory control

In this paper, we study normative multi-agent systems from a supervisory control theory perspective. Concretely, we show how to model three well-known types of norm enforcement mechanisms by adopting well-studied supervisory control theory techniques for discrete event systems. Doing so provides a semantics for normative multi-agent systems rooted in formal languages and the ability to automatically synthesize SCT-based norm enforcement mechanisms for special, but still fairly expressive, type of systems and properties